$\forall$$a$:$\mathbb{Z}$. gcd\_p($a$; 0; $a$)